//Counting
CONTAINS pBad OR CONTAINS pLac OR CONTAINS pTet
CONTAINS pBad OR CONTAINS pLac OR CONTAINS pTet
CONTAINS r
CONTAINS c_RFP
CONTAINS t

//ORDER
r ALL_NEXTTO c_RFP
r ALL_BEFORE c_RFP
c_RFP ALL_BEFORE t
c_RFP ALL_NEXTTO t
ENDSWITH t

all_forward

pBad NOTMORETHAN 1
pLac NOTMORETHAN 1
pTet NOTMORETHAN 1
r NOTMORETHAN 1
t NOTMORETHAN 1
c_RFP NOTMORETHAN 1


//Results
Device d1(pLac, pTet, r, c_RFP, t);
Device d2(pLac, pBad, r, c_RFP, t);
Device d3(pBad, pLac, r, c_RFP, t);
Device d4(pBad, pTet, r, c_RFP, t);
Device d5(pTet, pLac, r, c_RFP, t);
Device d6(pTet, pBad, r, c_RFP, t);

